21. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings
پدیدآورنده : G. v. Bochmann, D.K. Probst, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses
رده :
QA
76
.
76
.
V47
C38
1993
22. Computer circuit concepts
پدیدآورنده : / by Saul Ritterman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computers- Circuits,Circuits,Integrated circuits
رده :
TK7888
.
4
.
R5
1986
23. #Computer design aids for VLSI circuits
پدیدآورنده : #edited by P. Antognetti, D. O. Pederson, H. De Man
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Microcomputers- Design and construction- Congresses ،Electronic digital computers- Circuits- Congresses ،Integrated circuits- Very large scale integration- Congresses ،Computer engineering- Congresses
رده :
#
TK
،#.
C657
24. Constraining designs for syntheis and timing analysis : a practical guide to synopsys design constraints )SDC(
پدیدآورنده : Gangadharan, Sridhar
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Timing circuits,Design and construction ، Integrated circuits,، Real-time clocks )Computers(,، Constraint programming )Computer science(,Design ، Systems on a chip
رده :
TK
7868
.
T5G26
25. Contemporary logic design
پدیدآورنده : Randy H. Katz
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Circuits - Design,Integrated circuits - Very large scale integration - Design - Data processing,Logic design - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
26. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic digital computers- Circuits- Design,Integrated circuits- Very large scale integration- Design- Data processing,Logic design- Data processing,Computer-aided design
رده :
E-BOOK
27. Contemporary logic design
پدیدآورنده : Randy H. Katz
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Electronic digital computers - Circuits - Design,Integrated circuits - Very large scale integration - Design - Data processing,Logic design - Data processing,Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
28. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Circuits -- Design ، Electronic digital computers,Very large scale integration -- Design ، Integrated circuits,Logic design -- Data processing ، Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
2005
29. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers,Integrated circuits,Logic design,Computer-aided design,-- Circuits Design,-- Very large scale integration -- Design -- Data processing,-- Data processing
رده :
621
.
395
K19C
2005
30. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Electronic digital computers--Circuits--Design,Integrated circuits--Very large scale integration--Design--Data processing,Logic design--Data processing,Computer-aided design
رده :
TK7888
.
4
.
k36
31. Contemporary logic design
پدیدآورنده : Katz, Randy H
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Circuits-- Design,، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
32. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Circuits Design,، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
2005
33. Contemporary logic design
پدیدآورنده : Katz, Randy H.,5591-,Randy H. Katz
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Electronic digital computers- Circuits- Design,، Integrated circuits- Very large scale integration- Design- Data processing,، Logic design- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K36
34. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Design ، Electronic digital computers -- Circuits,Very large scale integration -- Design -- Data processing ، Integrated circuits,Data processing ، Logic design,، Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
35. Contemporary logic design
پدیدآورنده : Katz, Randy H., 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design ، Electronic digital computers -- Circuits,Design -- Data processing ، Integrated circuits -- Very large scale integration,، Logic design -- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K28C6
36. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Electronic digital computers, Circuits, Design,Integrated circuits, Very large scale integration, Design, Data processing,Logic design, Data processing,Computer-aided design
رده :
TK7888
,.
4
.
K36
2005
37. Contemporary logic design
پدیدآورنده : / Randy H. Katz, Gaetano Borriello
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Electronic digital computers- Circuits- Design,Integrated circuits- Very large scale integration- Design- Data processing,Logic design- Data processing,Computer-aided design
رده :
TK7888
.
4
.
K36
2005
38. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Circuits -- Design ، Electronic digital computers,Very large scale integration -- Design ، Integrated circuits,، Data processing,Data processing ، Logic design,، Computer-aided design
رده :
TK
7888
.
4
.
K36
1994
39. Contemporary logic design
پدیدآورنده : Katz, Randy H., 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design ، Electronic digital computers -- Circuits,Design -- Data processing ، Integrated circuits -- Very large scale integration,، Logic design -- Data processing,، Computer-aided design
رده :
TK
7888
.
4
.
K28C6
2005
40. Contemporary logic design
پدیدآورنده : Katz, Randy H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Circuits Design ، Electronic digital computers,Very large scale integration Design Data processing ، Integrated circuits,Data processing ، Logic design,، Computer-aided design
رده :
TK
7888
.
4
.
K36